Verification相关论文
Advanced virtual prototyping for cyber-physical systems using RISC-V:implementation,verification and
Virtual prototypes (VPs) are crucial in today\'s design flow.VPs are predominantly created in SystemC transaction-leve......
Validation and Spatial-temporal Distribution Characteristics of Atmospheric Methane Products in Chin
This study used the methane(CH4)concentration Level 2(L2)data product from the official inversion of the Tropospheric Mo......
Low Pressure Exhaust Gas Recirculation(LP-EGR)is one of the several technologies that are being investigated to de-liver......
IEC61850标准在变电站建设中的运用过程中,GOOSE 二次虚拟接线的正确性对GOOSE报文的发送和接收有重要的影响.本文介绍了一种对GOO......
With the continuous development of Internet technology, the website no longer just browse the information carrier, the v......
With the rapid development of cloud computing,how to effectively improve the utilization of computing resources in a clo......
随着半导体技术的进步,将更多的功能集成在单个片上系统(SoC)中变得可行。视觉芯片作为一种重要的SoC,在单个芯片上集成了图像传感......
...
...
搭载于高分五号卫星平台的大气主要温室气体监测仪(GMI)主要用于测量大气温室气体CO_2和CH_4的柱浓度。为保证GMI遥感数据温室气体......
Development and preliminary verification of the evaluation system for clinical practice guidelines i
...
This study is to summarize Professor Pei\s experience in treating hypothyroidism.Professor Pei has been engaged in clin......
A space-borne hard X-ray collimator,comprising 91 pairs of grids,has been developed for the Hard X-ray Imager(HXI).The H......
<strong>Purpose: </strong><span><span style=“font-family:”“><span style=”font-family:Verdana;“>Verified the deliver......
The forecasts of tropical cyclones(TC)in 2017 from five official guides,six global models,six regional models and six en......
[Objectives]To test the microbial limit of Zhideke granules.[Methods]According to the relevant regulations on the testin......
Effects of trichloroethylene on the expression of Rho GDI α, Annexin A3 and Glyoxalase 1 in human L-
...
With the rapid developments of information technology,various industries become much more dependent on networks.Driven b......
Distance vector routing protocols have been widely adopted as an efcient routing mechanism in current Internet,and many ......
Study on the Quantitative Structure-toxicity Relationships for the Selected Esters by Using Molecula
The molecular electronegativity interaction vector (MEIV) was used to describe the molecular structure of 30 selected es......
Stirring uniformity of mixture depends not only on structural parameters of the mixer, motion parameters, but also to a ......
With the rapid social and economic development of the Taihu region,Taihu Lake now faces an increasingly severe eutrophic......
The existing investigations of vehicle ride comfort mainly include motion characteristics analysis based on creating a m......
There will be more and more AC transmission lines near oil/gas pipelines in the future.So in order to determine the safe......
Multi-objective Stability Control Algorithm of Heavy Tractor Semi-trailer Based on Differential Brak
Rollover and jack-knifing of tractor semi-trailer are serious threats for vehicle safety,and accordingly active safety t......
Simulation analysis theory and experimental verification of air-cushion isolation control of high co
To focus on the key scientific problem of process control of dynamic catastrophe of high dams,presented for the first ti......
An elasto-plastic constitutive model incorporating strain softening and dilatancy for interface thin
The mechanical behaviors of the interface between coarse-grained soil and concrete were investigated by simple shear tes......
Based on the characteristics of large flow rate , low head , short annual operation time , and high reliability of the c......
Verification of Al_2O_3 and Calcium Oxalate Particles Continuous Operation in U-shape Continuous Pre
In order to simulate whether or not the oxalate precipitation particles which density is 2.6-2.7g/mL cause mass accumula......
The research of the historical record of icefails brings together many cases that areapparently similar(1-3).Practicall......
Vehicle height and leveling control of electronically controlled air suspension(ECAS) still poses theoretical challenges......
Hybrid denoising-jittering data processing approach to enhance sediment load prediction of muddy riv
Successful modeling of hydroenvironmental processes widely relies on quantity and quality of accessible data,and noisy d......
Inter-basin Water Transfer Projects require the appropriate financing model to attract large amounts of social investmen......
Neutral aluminum clusters Aln (n up to 30) have been generated using laser vaporization and pulsed molecular beam techni......
Most previous cervical spine finite element(FE) models were validated using in vitro cadaver measurement data from liter......
Based on introduction of the timber legality verification schemes,the article provides a detailed review of existing leg......
Plasma thrombomodulin changes in acute cerebral infarction or hypertension patients An observation f
BACKGROUND: Thrombomodulin concentration greatly increases in plasma when vascular endothelial cells are injured, and it......
Integrating the periodizations of Chinese history and the history of Chinese libraries: Exploring th
Historical periodization is an indispensible basis to the study of the contemporary and modern history of Chinese librar......
In this paper,based on the field-programmable gate array(FPGA)xc5vlx220 of Xilinx Company,the FPGA verification method f......
反复是语言交际的重要手段之一 ,是话语结构中一个看似简单 ,实则重要、却容易忽视的语言现象及语言组成结构。它既存在于口语语言......
This paper presents a formal approach, FSPD (Formal Specifications for Protocols of Decoders), to specify decoder commun......
With the increased design complexities brought in by applying different Reticle Enhancement Technologies (RETs) in nanom......
请下载后查看,本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view......
ATPG for very large scale integrated circuit designs is an important problem in industry. With the advent of SOC designs......
This paper presents a new topology to implement Class F power amplifier for eliminating the on-resistance (R_(ON))effect......
By choosing parameters in the modulator, the dispersive section and the seed laser, the spatial bunching of the electron......
This paper overviews design for manufacturing (DFM) for IC design in nano-CMOS technologies. Process/device issues relev......
Considering the increasing use of information technology with established standards, such as TCP/IP and XML in modern in......
The importance of system-on-chip (SoC)validation continues to grow with the increase of designsize. An innovative domain......
Field programmable gate arrays (FPGAs)have wide and extensive applications in many areas. Dueto programmable feature of ......